1. .....................
پدیدآورنده : Engeler, Erwin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages
رده :
QA
267
.
5
.
S4
E53
2. Algorithmic properties of structures
پدیدآورنده : Selected papers of Erwin Engeler
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Algorithms
رده :
TA
349
.
A69
1993
3. Foundations of mathematics : questions of analysis, geometry & algorithmics
پدیدآورنده : Engeler, Erwin
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Metamathematics
رده :
QA
9
.
8
.
E54
1993
4. Foundations of mathematics : questions of analysis, geometry & algorithmics
پدیدآورنده : Engeler, Erwin.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Metamathematics
رده :
QA
9
.
8
.
E5413
1993
5. Introduction to the theory of computation
پدیدآورنده : Engeler, Erwin.
موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Logic of programs : workshop, ETH Zurich, May-July 1979
پدیدآورنده : edited by Erwin Engeler
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer programs,، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
125
7. The Combinatory programme
پدیدآورنده : / edited by Erwin Engeler
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Combinatory logic
رده :
511
.
3
C731
8. foundations of mathematics:questions of analysis,geometry and algorithms
پدیدآورنده : Erwin Engeler
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Mathematics
رده :
QA
9
.
8
.
E5413
1993